hypothesis verification